Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

IJ-OpenCV: Combining ImageJ and OpenCV for processing images in biomedicine

Рік:
2017
Мова:
english
Файл:
PDF, 1.60 MB
english, 2017
5

MRI strategies for characterising two-phase flow in parallel channel ceramic monoliths

Рік:
2007
Мова:
english
Файл:
PDF, 990 KB
english, 2007
7

Exploiting Parallelism in Coalgebraic Logic Programming

Рік:
2014
Мова:
english
Файл:
PDF, 309 KB
english, 2014
8

Recycling Proof Patterns in Coq: Case Studies

Рік:
2014
Мова:
english
Файл:
PDF, 1.19 MB
english, 2014
9

Computing persistent homology within Coq/SSReflect

Рік:
2013
Мова:
english
Файл:
PDF, 222 KB
english, 2013
10

A Certified Reduction Strategy for Homological Image Processing

Рік:
2014
Мова:
english
Файл:
PDF, 392 KB
english, 2014
12

Surveying and benchmarking techniques to analyse DNA gel fingerprint images

Рік:
2015
Мова:
english
Файл:
PDF, 929 KB
english, 2015
13

GelJ – a tool for analyzing DNA fingerprint gel images

Рік:
2015
Мова:
english
Файл:
PDF, 1.58 MB
english, 2015
20

Mathematical knowledge management in algebraic topology

Рік:
2012
Мова:
english
Файл:
PDF, 80 KB
english, 2012